[INFO] fetching crate merc_syntax 1.0.0...
[INFO] testing merc_syntax-1.0.0 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate merc_syntax 1.0.0 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate merc_syntax 1.0.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate merc_syntax 1.0.0
[INFO] tweaked toml for crates.io crate merc_syntax 1.0.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate merc_syntax 1.0.0 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate merc_syntax 1.0.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded test-case-macros v3.3.1
[INFO] [stderr]   Downloaded test-case v3.3.1
[INFO] [stderr]   Downloaded pest_generator v2.8.4
[INFO] [stderr]   Downloaded test-case-core v3.3.1
[INFO] [stderr]   Downloaded pest_meta v2.8.4
[INFO] [stderr]   Downloaded toml v0.9.8
[INFO] [stderr]   Downloaded merc_pest_consume_macros v2.0.0
[INFO] [stderr]   Downloaded env_filter v0.1.4
[INFO] [stderr]   Downloaded rustc-demangle v0.1.26
[INFO] [stderr]   Downloaded delegate v0.13.5
[INFO] [stderr]   Downloaded arbitrary v1.4.2
[INFO] [stderr]   Downloaded pest v2.8.4
[INFO] [stderr]   Downloaded jiff-static v0.2.16
[INFO] [stderr]   Downloaded backtrace v0.3.76
[INFO] [stderr]   Downloaded pest_derive v2.8.4
[INFO] [stderr]   Downloaded addr2line v0.25.1
[INFO] [stderr]   Downloaded toml_writer v1.0.4
[INFO] [stderr]   Downloaded foldhash v0.2.0
[INFO] [stderr]   Downloaded merc_utilities v1.0.0
[INFO] [stderr]   Downloaded serde_spanned v1.0.3
[INFO] [stderr]   Downloaded merc_pest_consume v2.0.0
[INFO] [stderr]   Downloaded derive_arbitrary v1.4.2
[INFO] [stderr]   Downloaded gimli v0.32.3
[INFO] [stderr]   Downloaded object v0.37.3
[INFO] [stderr]   Downloaded jiff v0.2.16
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3cce320161729610dd29cb43f8cc71e23c1b3c6c2985fecd71440b1fef0299d2
[INFO] running `Command { std: "docker" "start" "-a" "3cce320161729610dd29cb43f8cc71e23c1b3c6c2985fecd71440b1fef0299d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3cce320161729610dd29cb43f8cc71e23c1b3c6c2985fecd71440b1fef0299d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3cce320161729610dd29cb43f8cc71e23c1b3c6c2985fecd71440b1fef0299d2", kill_on_drop: false }`
[INFO] [stdout] 3cce320161729610dd29cb43f8cc71e23c1b3c6c2985fecd71440b1fef0299d2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2e3d125488daeb8eb86e8331cb47d4846304dba5b37320097b4b1ae9dfe4f29b
[INFO] running `Command { std: "docker" "start" "-a" "2e3d125488daeb8eb86e8331cb47d4846304dba5b37320097b4b1ae9dfe4f29b", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling foldhash v0.2.0
[INFO] [stderr]    Compiling jiff v0.2.16
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling rustc-demangle v0.1.26
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling pest v2.8.4
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling pest_meta v2.8.4
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling env_filter v0.1.4
[INFO] [stderr]    Compiling pest_generator v2.8.4
[INFO] [stderr]    Compiling env_logger v0.11.8
[INFO] [stderr]    Compiling derive_arbitrary v1.4.2
[INFO] [stderr]    Compiling merc_pest_consume_macros v2.0.0
[INFO] [stderr]    Compiling delegate v0.13.5
[INFO] [stderr]    Compiling pest_derive v2.8.4
[INFO] [stderr]    Compiling arbitrary v1.4.2
[INFO] [stderr]    Compiling merc_pest_consume v2.0.0
[INFO] [stderr]    Compiling merc_utilities v1.0.0
[INFO] [stderr]    Compiling merc_syntax v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 38.74s
[INFO] running `Command { std: "docker" "inspect" "2e3d125488daeb8eb86e8331cb47d4846304dba5b37320097b4b1ae9dfe4f29b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e3d125488daeb8eb86e8331cb47d4846304dba5b37320097b4b1ae9dfe4f29b", kill_on_drop: false }`
[INFO] [stdout] 2e3d125488daeb8eb86e8331cb47d4846304dba5b37320097b4b1ae9dfe4f29b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9fe35ba3f19fadb6fab2d907dced9239909c33d5a7161b58236c328cb664b0a2
[INFO] running `Command { std: "docker" "start" "-a" "9fe35ba3f19fadb6fab2d907dced9239909c33d5a7161b58236c328cb664b0a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling indoc v2.0.7
[INFO] [stderr]    Compiling test-case-core v3.3.1
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]    Compiling test-case v3.3.1
[INFO] [stderr]    Compiling merc_syntax v1.0.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/abp.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:36:13
[INFO] [stdout]    |
[INFO] [stdout] 36 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/abp.mcrl2"), "tests/snapshot/result_abp.mcrl2" ; "abp.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp_bw/abp_bw.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp_bw/abp_bw.mcrl2"), "tests/snapshot/result_abp_bw.mcrl2" ; "abp_bw.mcr...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/allow/allow.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 | #[test_case(include_str!("../../../examples/mCRL2/academic/allow/allow.mcrl2"), "tests/snapshot/result_allow.mcrl2" ; "allow.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/bakery.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:39:13
[INFO] [stdout]    |
[INFO] [stdout] 39 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/bakery.mcrl2"), "tests/snapshot/result_bakery.mcrl2" ; "bakery.mcr...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bke/bke.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | #[test_case(include_str!("../../../examples/mCRL2/academic/bke/bke.mcrl2"), "tests/snapshot/result_bke.mcrl2" ; "bke.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/block/block.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 | #[test_case(include_str!("../../../examples/mCRL2/academic/block/block.mcrl2"), "tests/snapshot/result_block.mcrl2" ; "block.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/RA_fixed_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 | #[test_case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/RA_fixed_spec.mcrl2"), "tests/snapshot/r...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed+broadcast/RA_fixed+broadcast_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:43:13
[INFO] [stdout]    |
[INFO] [stdout] 43 | ...ase(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed+broadcast/RA_fixed+broadcast_spec.mcrl2"), "t...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed+reduced/RA_fixed+reduced_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 | #[test_case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed+reduced/RA_fixed+reduced_spec.mcrl2"), "...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_original/RA_original_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:45:13
[INFO] [stdout]    |
[INFO] [stdout] 45 | #[test_case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_original/RA_original_spec.mcrl2"), "tests/snap...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/cabp/cabp.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:46:13
[INFO] [stdout]    |
[INFO] [stdout] 46 | #[test_case(include_str!("../../../examples/mCRL2/academic/cabp/cabp.mcrl2"), "tests/snapshot/result_cabp.mcrl2" ; "cabp.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/cellular_automata/cellular_automata.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 | #[test_case(include_str!("../../../examples/mCRL2/academic/cellular_automata/cellular_automata.mcrl2"), "tests/snapshot/result_cellu...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/commprot/commprot.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:48:13
[INFO] [stdout]    |
[INFO] [stdout] 48 | #[test_case(include_str!("../../../examples/mCRL2/academic/commprot/commprot.mcrl2"), "tests/snapshot/result_commprot.mcrl2" ; "comm...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:49:13
[INFO] [stdout]    |
[INFO] [stdout] 49 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3.mcrl2"), "tests/snapshot/result_dining3.mcrl2" ; "dining3....
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_cs.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:50:13
[INFO] [stdout]    |
[INFO] [stdout] 50 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_cs.mcrl2"), "tests/snapshot/result_dining3_cs.mcrl2" ; "di...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_cs_seq.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:51:13
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_cs_seq.mcrl2"), "tests/snapshot/result_dining3_cs_seq.mcrl...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_ns.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:52:13
[INFO] [stdout]    |
[INFO] [stdout] 52 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_ns.mcrl2"), "tests/snapshot/result_dining3_ns.mcrl2" ; "di...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_ns_seq.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:53:13
[INFO] [stdout]    |
[INFO] [stdout] 53 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_ns_seq.mcrl2"), "tests/snapshot/result_dining3_ns_seq.mcrl...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_schedule.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:54:13
[INFO] [stdout]    |
[INFO] [stdout] 54 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_schedule.mcrl2"), "tests/snapshot/result_dining3_schedule....
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_schedule_seq.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:55:13
[INFO] [stdout]    |
[INFO] [stdout] 55 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_schedule_seq.mcrl2"), "tests/snapshot/result_dining3_sched...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining3_seq.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:56:13
[INFO] [stdout]    |
[INFO] [stdout] 56 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining3_seq.mcrl2"), "tests/snapshot/result_dining3_seq.mcrl2" ; "...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining8.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:57:13
[INFO] [stdout]    |
[INFO] [stdout] 57 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining8.mcrl2"), "tests/snapshot/result_dining8.mcrl2" ; "dining8....
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/dining_10.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/dining_10.mcrl2"), "tests/snapshot/result_dining_10.mcrl2" ; "dini...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/food_distribution/food_package.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 | #[test_case(include_str!("../../../examples/mCRL2/academic/food_distribution/food_package.mcrl2"), "tests/snapshot/result_food_packa...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/goback/goback.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 | #[test_case(include_str!("../../../examples/mCRL2/academic/goback/goback.mcrl2"), "tests/snapshot/result_goback.mcrl2" ; "goback.mcr...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/hopcroft/hopcroft.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 | #[test_case(include_str!("../../../examples/mCRL2/academic/hopcroft/hopcroft.mcrl2"), "tests/snapshot/result_hopcroft.mcrl2" ; "hopc...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/leader/dolev_klawe_rodeh.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 | #[test_case(include_str!("../../../examples/mCRL2/academic/leader/dolev_klawe_rodeh.mcrl2"), "tests/snapshot/result_dolev_klawe_rode...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/leader/leader.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:63:13
[INFO] [stdout]    |
[INFO] [stdout] 63 | #[test_case(include_str!("../../../examples/mCRL2/academic/leader/leader.mcrl2"), "tests/snapshot/result_leader.mcrl2" ; "leader.mcr...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:78:13
[INFO] [stdout]    |
[INFO] [stdout] 78 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu.mcrl2"), "tests/snapshot/result_mpsu.mcrl2" ; "mpsu.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Dekker/Dekker_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:79:13
[INFO] [stdout]    |
[INFO] [stdout] 79 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Dekker/Dekker_spec.mcrl2"), "tests/snapshot/result_dekker_sp...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Improved-mutex-naive/Improved-mutex-naive_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Improved-mutex-naive/Improved-mutex-naive_spec.mcrl2"), "tes...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Mutex-naive/Mutex-naive_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:81:13
[INFO] [stdout]    |
[INFO] [stdout] 81 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Mutex-naive/Mutex-naive_spec.mcrl2"), "tests/snapshot/result...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Petersons/Petersons_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Petersons/Petersons_spec.mcrl2"), "tests/snapshot/result_pet...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Petersons-3/Petersons-3_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:83:13
[INFO] [stdout]    |
[INFO] [stdout] 83 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Petersons-3/Petersons-3_spec.mcrl2"), "tests/snapshot/result...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/Aravind_BLRU_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:84:13
[INFO] [stdout]    |
[INFO] [stdout] 84 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/Aravind_BLRU_spec.mcrl2"), "tests/snaps...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Attiya-Welch/Attiya-Welch_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:85:13
[INFO] [stdout]    |
[INFO] [stdout] 85 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Attiya-Welch/Attiya-Welch_spec.mcrl2"), "tests/snaps...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Attiya-Welch_alternate/Attiya-Welch_alternate_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:86:13
[INFO] [stdout]    |
[INFO] [stdout] 86 | ...se(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Attiya-Welch_alternate/Attiya-Welch_alternate_spec.mcrl2"), "...
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Dijkstra/Dijkstra_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Dijkstra/Dijkstra_spec.mcrl2"), "tests/snapshot/resu...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Knuth/Knuth_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Knuth/Knuth_spec.mcrl2"), "tests/snapshot/result_knu...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Lamport_3bit/Lamport_3bit_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:89:13
[INFO] [stdout]    |
[INFO] [stdout] 89 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Lamport_3bit/Lamport_3bit_spec.mcrl2"), "tests/snaps...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Lamport_3bit_incorrect_z/Lamport_3bit_incorrect_z_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:90:13
[INFO] [stdout]    |
[INFO] [stdout] 90 | ...se(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Lamport_3bit_incorrect_z/Lamport_3bit_incorrect_z_spec.mcrl2"), "...
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Peterson/Peterson_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:91:13
[INFO] [stdout]    |
[INFO] [stdout] 91 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Peterson/Peterson_spec.mcrl2"), "tests/snapshot/resu...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Register_model/Register_model_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:92:13
[INFO] [stdout]    |
[INFO] [stdout] 92 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Register_model/Register_model_spec.mcrl2"), "tests/s...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_3bit_linear_wait/Szymanski_3bit_linear_wait_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 | ...se(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_3bit_linear_wait/Szymanski_3bit_linear_wait_spec.mcrl2"), "...
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_3bitlw_sem/Szymanski_3bitlw_sem_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:94:13
[INFO] [stdout]    |
[INFO] [stdout] 94 | ...se(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_3bitlw_sem/Szymanski_3bitlw_sem_spec.mcrl2"), "t...
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_flag/Szymanski_flag_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_flag/Szymanski_flag_spec.mcrl2"), "tests/s...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_flag_with_bits/Szymanski_flag_with_bits_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:96:13
[INFO] [stdout]    |
[INFO] [stdout] 96 | ...se(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_flag_with_bits/Szymanski_flag_with_bits_spec.mcrl2"), "...
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_fwb_pe/Szymanski_fwb_pe_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:97:13
[INFO] [stdout]    |
[INFO] [stdout] 97 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Szymanski_fwb_pe/Szymanski_fwb_pe_spec.mcrl2"), "tes...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/onebit/onebit.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 | #[test_case(include_str!("../../../examples/mCRL2/academic/onebit/onebit.mcrl2"), "tests/snapshot/result_onebit.mcrl2" ; "onebit.mcr...
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/par/par.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]   --> tests/example_test.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 | #[test_case(include_str!("../../../examples/mCRL2/academic/par/par.mcrl2"), "tests/snapshot/result_par.mcrl2" ; "par.mcrl2")]
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/parallel/parallel.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:100:13
[INFO] [stdout]     |
[INFO] [stdout] 100 | #[test_case(include_str!("../../../examples/mCRL2/academic/parallel/parallel.mcrl2"), "tests/snapshot/result_parallel.mcrl2" ; "par...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/parallel_proc_with_global_var/parallel_counting.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:101:13
[INFO] [stdout]     |
[INFO] [stdout] 101 | #[test_case(include_str!("../../../examples/mCRL2/academic/parallel_proc_with_global_var/parallel_counting.mcrl2"), "tests/snapshot...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/peterson_justness/mutex.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 | #[test_case(include_str!("../../../examples/mCRL2/academic/peterson_justness/mutex.mcrl2"), "tests/snapshot/result_mutex.mcrl2" ; "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/producer_consumer/producer_consumer.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 | #[test_case(include_str!("../../../examples/mCRL2/academic/producer_consumer/producer_consumer.mcrl2"), "tests/snapshot/result_prod...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/scheduler/scheduler.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout] 104 | #[test_case(include_str!("../../../examples/mCRL2/academic/scheduler/scheduler.mcrl2"), "tests/snapshot/result_scheduler.mcrl2" ; "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/swp/swp_fgpbp.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 | #[test_case(include_str!("../../../examples/mCRL2/academic/swp/swp_fgpbp.mcrl2"), "tests/snapshot/result_swp_fgpbp.mcrl2" ; "swp_fg...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/swp/swp_func.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 | #[test_case(include_str!("../../../examples/mCRL2/academic/swp/swp_func.mcrl2"), "tests/snapshot/result_swp_func.mcrl2" ; "swp_func...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/swp/swp_lists.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:107:13
[INFO] [stdout]     |
[INFO] [stdout] 107 | #[test_case(include_str!("../../../examples/mCRL2/academic/swp/swp_lists.mcrl2"), "tests/snapshot/result_swp_lists.mcrl2" ; "swp_li...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/swp/swp_with_tanenbaums_bug.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:108:13
[INFO] [stdout]     |
[INFO] [stdout] 108 | #[test_case(include_str!("../../../examples/mCRL2/academic/swp/swp_with_tanenbaums_bug.mcrl2"), "tests/snapshot/result_swp_with_tan...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/trains/trains.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:109:13
[INFO] [stdout]     |
[INFO] [stdout] 109 | #[test_case(include_str!("../../../examples/mCRL2/academic/trains/trains.mcrl2"), "tests/snapshot/result_trains.mcrl2" ; "trains.mc...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/tree/tree.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:110:13
[INFO] [stdout]     |
[INFO] [stdout] 110 | #[test_case(include_str!("../../../examples/mCRL2/academic/tree/tree.mcrl2"), "tests/snapshot/result_tree.mcrl2" ; "tree.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/beggar_my_neighbour/beggar_my_neighbour.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 | #[test_case(include_str!("../../../examples/mCRL2/games/beggar_my_neighbour/beggar_my_neighbour.mcrl2"), "tests/snapshot/result_beg...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/bridge_crossing/bridge_crossing.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 | #[test_case(include_str!("../../../examples/mCRL2/games/bridge_crossing/bridge_crossing.mcrl2"), "tests/snapshot/result_bridge_cros...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/clobber/clobber.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:113:13
[INFO] [stdout]     |
[INFO] [stdout] 113 | #[test_case(include_str!("../../../examples/mCRL2/games/clobber/clobber.mcrl2"), "tests/snapshot/result_clobber.mcrl2" ; "clobber.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/domineering/domineering.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:114:13
[INFO] [stdout]     |
[INFO] [stdout] 114 | #[test_case(include_str!("../../../examples/mCRL2/games/domineering/domineering.mcrl2"), "tests/snapshot/result_domineering.mcrl2" ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/four_in_a_row/four_in_a_row.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:115:13
[INFO] [stdout]     |
[INFO] [stdout] 115 | #[test_case(include_str!("../../../examples/mCRL2/games/four_in_a_row/four_in_a_row.mcrl2"), "tests/snapshot/result_four_in_a_row.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/four_in_a_row_symbolic/four_in_a_row_symbolic.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:116:13
[INFO] [stdout]     |
[INFO] [stdout] 116 | #[test_case(include_str!("../../../examples/mCRL2/games/four_in_a_row_symbolic/four_in_a_row_symbolic.mcrl2"), "tests/snapshot/resu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/game_of_goose/game_of_goose.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:117:13
[INFO] [stdout]     |
[INFO] [stdout] 117 | #[test_case(include_str!("../../../examples/mCRL2/games/game_of_goose/game_of_goose.mcrl2"), "tests/snapshot/result_game_of_goose.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/hex/hex.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:118:13
[INFO] [stdout]     |
[INFO] [stdout] 118 | #[test_case(include_str!("../../../examples/mCRL2/games/hex/hex.mcrl2"), "tests/snapshot/result_hex.mcrl2" ; "hex.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/knights/knights.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:119:13
[INFO] [stdout]     |
[INFO] [stdout] 119 | #[test_case(include_str!("../../../examples/mCRL2/games/knights/knights.mcrl2"), "tests/snapshot/result_knights.mcrl2" ; "knights.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/magic_square/magic_hexagon.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:120:13
[INFO] [stdout]     |
[INFO] [stdout] 120 | #[test_case(include_str!("../../../examples/mCRL2/games/magic_square/magic_hexagon.mcrl2"), "tests/snapshot/result_magic_hexagon.mc...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/magic_square/magic_square.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:121:13
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[test_case(include_str!("../../../examples/mCRL2/games/magic_square/magic_square.mcrl2"), "tests/snapshot/result_magic_square.mcrl...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/open_field_tic_tac_toe/open_field_tictactoe.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:122:13
[INFO] [stdout]     |
[INFO] [stdout] 122 | #[test_case(include_str!("../../../examples/mCRL2/games/open_field_tic_tac_toe/open_field_tictactoe.mcrl2"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/othello.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:123:13
[INFO] [stdout]     |
[INFO] [stdout] 123 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/othello.mcrl2"), "tests/snapshot/result_othello.mcrl2" ; "othello.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/peg_solitaire/peg_solitaire.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:124:13
[INFO] [stdout]     |
[INFO] [stdout] 124 | #[test_case(include_str!("../../../examples/mCRL2/games/peg_solitaire/peg_solitaire.mcrl2"), "tests/snapshot/result_peg_solitaire.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/quoridor.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:125:13
[INFO] [stdout]     |
[INFO] [stdout] 125 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/quoridor.mcrl2"), "tests/snapshot/result_quoridor.mcrl2" ; "quorid...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/rubiks_cube/rubiks_cube.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:126:13
[INFO] [stdout]     |
[INFO] [stdout] 126 | #[test_case(include_str!("../../../examples/mCRL2/games/rubiks_cube/rubiks_cube.mcrl2"), "tests/snapshot/result_rubiks_cube.mcrl2" ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/rubiks_cube_small/small_cube.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:127:13
[INFO] [stdout]     |
[INFO] [stdout] 127 | #[test_case(include_str!("../../../examples/mCRL2/games/rubiks_cube_small/small_cube.mcrl2"), "tests/snapshot/result_small_cube.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/snake/snake.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:128:13
[INFO] [stdout]     |
[INFO] [stdout] 128 | #[test_case(include_str!("../../../examples/mCRL2/games/snake/snake.mcrl2"), "tests/snapshot/result_snake.mcrl2" ; "snake.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/sokoban/sokoban.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:129:13
[INFO] [stdout]     |
[INFO] [stdout] 129 | #[test_case(include_str!("../../../examples/mCRL2/games/sokoban/sokoban.mcrl2"), "tests/snapshot/result_sokoban.mcrl2" ; "sokoban.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/sudoku/sudoku.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:130:13
[INFO] [stdout]     |
[INFO] [stdout] 130 | #[test_case(include_str!("../../../examples/mCRL2/games/sudoku/sudoku.mcrl2"), "tests/snapshot/result_sudoku.mcrl2" ; "sudoku.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/tictactoe/tictactoe.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:131:13
[INFO] [stdout]     |
[INFO] [stdout] 131 | #[test_case(include_str!("../../../examples/mCRL2/games/tictactoe/tictactoe.mcrl2"), "tests/snapshot/result_tictactoe.mcrl2" ; "tic...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/tictactoe/tictactoe_fast.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:132:13
[INFO] [stdout]     |
[INFO] [stdout] 132 | #[test_case(include_str!("../../../examples/mCRL2/games/tictactoe/tictactoe_fast.mcrl2"), "tests/snapshot/result_tictactoe_fast.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:133:13
[INFO] [stdout]     |
[INFO] [stdout] 133 | #[test_case(include_str!("../../../examples/mCRL2/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2"), "tests/snapshot/result_wolf_go...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/1394/1394-fin.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:134:13
[INFO] [stdout]     |
[INFO] [stdout] 134 | #[test_case(include_str!("../../../examples/mCRL2/industrial/1394/1394-fin.mcrl2"), "tests/snapshot/result_1394-fin.mcrl2" ; "1394-...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/SMS.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:135:13
[INFO] [stdout]     |
[INFO] [stdout] 135 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/SMS.mcrl2"), "tests/snapshot/result_sms.mcrl2" ; "sms.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/WMS.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:136:13
[INFO] [stdout]     |
[INFO] [stdout] 136 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/WMS.mcrl2"), "tests/snapshot/result_wms.mcrl2" ; "wms.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/ertms-hl3.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:137:13
[INFO] [stdout]     |
[INFO] [stdout] 137 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/ertms-hl3.mcrl2"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_II/IU/ertms-hl3.announce.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:138:13
[INFO] [stdout]     |
[INFO] [stdout] 138 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_II/IU/ertms-hl3.announce.mcrl2"), "tests/snaps...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/alma/alma.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:140:13
[INFO] [stdout]     |
[INFO] [stdout] 140 | #[test_case(include_str!("../../../examples/mCRL2/industrial/alma/alma.mcrl2"), "tests/snapshot/result_alma.mcrl2" ; "alma.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/brp/brp.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 | #[test_case(include_str!("../../../examples/mCRL2/industrial/brp/brp.mcrl2"), "tests/snapshot/result_brp.mcrl2" ; "brp.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/chatbox/chatbox.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 | #[test_case(include_str!("../../../examples/mCRL2/industrial/chatbox/chatbox.mcrl2"), "tests/snapshot/result_chatbox.mcrl2" ; "chat...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/3_Ideal_trace.expanded.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:143:13
[INFO] [stdout]     |
[INFO] [stdout] 143 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/3_Ideal_trace.expanded.mcrl2"), "tests/snapshot/result_3_ideal...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/3_Mute_follower.expanded.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:144:13
[INFO] [stdout]     |
[INFO] [stdout] 144 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/3_Mute_follower.expanded.mcrl2"), "tests/snapshot/result_3_mut...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/3_Mute_leader.expanded.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:145:13
[INFO] [stdout]     |
[INFO] [stdout] 145 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/3_Mute_leader.expanded.mcrl2"), "tests/snapshot/result_3_mute_...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/3_Regular.expanded.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:146:13
[INFO] [stdout]     |
[INFO] [stdout] 146 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/3_Regular.expanded.mcrl2"), "tests/snapshot/result_3_regular.e...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/Big_Deaf_follower.expanded.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:147:13
[INFO] [stdout]     |
[INFO] [stdout] 147 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/Big_Deaf_follower.expanded.mcrl2"), "tests/snapshot/result_big...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/garage/garage-r1.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:148:13
[INFO] [stdout]     |
[INFO] [stdout] 148 | #[test_case(include_str!("../../../examples/mCRL2/industrial/garage/garage-r1.mcrl2"), "tests/snapshot/result_garage-r1.mcrl2" ; "g...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/garage/garage-r2-error.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:149:13
[INFO] [stdout]     |
[INFO] [stdout] 149 | #[test_case(include_str!("../../../examples/mCRL2/industrial/garage/garage-r2-error.mcrl2"), "tests/snapshot/result_garage-r2-error...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/garage/garage-r2.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:150:13
[INFO] [stdout]     |
[INFO] [stdout] 150 | #[test_case(include_str!("../../../examples/mCRL2/industrial/garage/garage-r2.mcrl2"), "tests/snapshot/result_garage-r2.mcrl2" ; "g...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/garage/garage-r3.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:151:13
[INFO] [stdout]     |
[INFO] [stdout] 151 | #[test_case(include_str!("../../../examples/mCRL2/industrial/garage/garage-r3.mcrl2"), "tests/snapshot/result_garage-r3.mcrl2" ; "g...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/garage/garage.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:153:13
[INFO] [stdout]     |
[INFO] [stdout] 153 | #[test_case(include_str!("../../../examples/mCRL2/industrial/garage/garage.mcrl2"), "tests/snapshot/result_garage.mcrl2" ; "garage....
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ieee-11073/11073.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:154:13
[INFO] [stdout]     |
[INFO] [stdout] 154 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ieee-11073/11073.mcrl2"), "tests/snapshot/result_11073.mcrl2" ; "11073...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/lift/lift3-final.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:155:13
[INFO] [stdout]     |
[INFO] [stdout] 155 | #[test_case(include_str!("../../../examples/mCRL2/industrial/lift/lift3-final.mcrl2"), "tests/snapshot/result_lift3-final.mcrl2" ; ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/lift/lift3-init.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:156:13
[INFO] [stdout]     |
[INFO] [stdout] 156 | #[test_case(include_str!("../../../examples/mCRL2/industrial/lift/lift3-init.mcrl2"), "tests/snapshot/result_lift3-init.mcrl2" ; "l...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/delta.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:157:13
[INFO] [stdout]     |
[INFO] [stdout] 157 | #[test_case(include_str!("../../../examples/mCRL2/language/delta.mcrl2"), "tests/snapshot/result_delta.mcrl2" ; "delta.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/delta0.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:158:13
[INFO] [stdout]     |
[INFO] [stdout] 158 | #[test_case(include_str!("../../../examples/mCRL2/language/delta0.mcrl2"), "tests/snapshot/result_delta0.mcrl2" ; "delta0.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/divide2_10.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:159:13
[INFO] [stdout]     |
[INFO] [stdout] 159 | #[test_case(include_str!("../../../examples/mCRL2/language/divide2_10.mcrl2"), "tests/snapshot/result_divide2_10.mcrl2" ; "divide2_...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/divide2_100.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:160:13
[INFO] [stdout]     |
[INFO] [stdout] 160 | #[test_case(include_str!("../../../examples/mCRL2/language/divide2_100.mcrl2"), "tests/snapshot/result_divide2_100.mcrl2" ; "divide...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/divide2_500.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:161:13
[INFO] [stdout]     |
[INFO] [stdout] 161 | #[test_case(include_str!("../../../examples/mCRL2/language/divide2_500.mcrl2"), "tests/snapshot/result_divide2_500.mcrl2" ; "divide...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/exists.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:162:13
[INFO] [stdout]     |
[INFO] [stdout] 162 | #[test_case(include_str!("../../../examples/mCRL2/language/exists.mcrl2"), "tests/snapshot/result_exists.mcrl2" ; "exists.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/forall.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:163:13
[INFO] [stdout]     |
[INFO] [stdout] 163 | #[test_case(include_str!("../../../examples/mCRL2/language/forall.mcrl2"), "tests/snapshot/result_forall.mcrl2" ; "forall.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/funccomp.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 | #[test_case(include_str!("../../../examples/mCRL2/language/funccomp.mcrl2"), "tests/snapshot/result_funccomp.mcrl2" ; "funccomp.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/gpa_10_1.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:165:13
[INFO] [stdout]     |
[INFO] [stdout] 165 | #[test_case(include_str!("../../../examples/mCRL2/language/gpa_10_1.mcrl2"), "tests/snapshot/result_gpa_10_1.mcrl2" ; "gpa_10_1.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/gpa_10_2.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:166:13
[INFO] [stdout]     |
[INFO] [stdout] 166 | #[test_case(include_str!("../../../examples/mCRL2/language/gpa_10_2.mcrl2"), "tests/snapshot/result_gpa_10_2.mcrl2" ; "gpa_10_2.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/gpa_10_3.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 | #[test_case(include_str!("../../../examples/mCRL2/language/gpa_10_3.mcrl2"), "tests/snapshot/result_gpa_10_3.mcrl2" ; "gpa_10_3.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/lambda.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:168:13
[INFO] [stdout]     |
[INFO] [stdout] 168 | #[test_case(include_str!("../../../examples/mCRL2/language/lambda.mcrl2"), "tests/snapshot/result_lambda.mcrl2" ; "lambda.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/list.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:169:13
[INFO] [stdout]     |
[INFO] [stdout] 169 | #[test_case(include_str!("../../../examples/mCRL2/language/list.mcrl2"), "tests/snapshot/result_list.mcrl2" ; "list.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/numbers.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:170:13
[INFO] [stdout]     |
[INFO] [stdout] 170 | #[test_case(include_str!("../../../examples/mCRL2/language/numbers.mcrl2"), "tests/snapshot/result_numbers.mcrl2" ; "numbers.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/rational.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:171:13
[INFO] [stdout]     |
[INFO] [stdout] 171 | #[test_case(include_str!("../../../examples/mCRL2/language/rational.mcrl2"), "tests/snapshot/result_rational.mcrl2" ; "rational.mcr...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/sets_bags.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:172:13
[INFO] [stdout]     |
[INFO] [stdout] 172 | #[test_case(include_str!("../../../examples/mCRL2/language/sets_bags.mcrl2"), "tests/snapshot/result_sets_bags.mcrl2" ; "sets_bags....
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/small1.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:173:13
[INFO] [stdout]     |
[INFO] [stdout] 173 | #[test_case(include_str!("../../../examples/mCRL2/language/small1.mcrl2"), "tests/snapshot/result_small1.mcrl2" ; "small1.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/small2.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:174:13
[INFO] [stdout]     |
[INFO] [stdout] 174 | #[test_case(include_str!("../../../examples/mCRL2/language/small2.mcrl2"), "tests/snapshot/result_small2.mcrl2" ; "small2.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/small3.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:175:13
[INFO] [stdout]     |
[INFO] [stdout] 175 | #[test_case(include_str!("../../../examples/mCRL2/language/small3.mcrl2"), "tests/snapshot/result_small3.mcrl2" ; "small3.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/struct.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:176:13
[INFO] [stdout]     |
[INFO] [stdout] 176 | #[test_case(include_str!("../../../examples/mCRL2/language/struct.mcrl2"), "tests/snapshot/result_struct.mcrl2" ; "struct.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/tau.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:177:13
[INFO] [stdout]     |
[INFO] [stdout] 177 | #[test_case(include_str!("../../../examples/mCRL2/language/tau.mcrl2"), "tests/snapshot/result_tau.mcrl2" ; "tau.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/time.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:178:13
[INFO] [stdout]     |
[INFO] [stdout] 178 | #[test_case(include_str!("../../../examples/mCRL2/language/time.mcrl2"), "tests/snapshot/result_time.mcrl2" ; "time.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/language/upcast.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:179:13
[INFO] [stdout]     |
[INFO] [stdout] 179 | #[test_case(include_str!("../../../examples/mCRL2/language/upcast.mcrl2"), "tests/snapshot/result_upcast.mcrl2" ; "upcast.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/airplane_ticket/airplane_ticket.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:180:13
[INFO] [stdout]     |
[INFO] [stdout] 180 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/airplane_ticket/airplane_ticket.mcrl2"), "tests/snapshot/result_air...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/ant_on_grid/ant_on_grid.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:181:13
[INFO] [stdout]     |
[INFO] [stdout] 181 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/ant_on_grid/ant_on_grid.mcrl2"), "tests/snapshot/result_ant_on_grid...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/coin_tossing/coins.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:182:13
[INFO] [stdout]     |
[INFO] [stdout] 182 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/coin_tossing/coins.mcrl2"), "tests/snapshot/result_coins.mcrl2" ; "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/coins_simulate_dice/dice.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:183:13
[INFO] [stdout]     |
[INFO] [stdout] 183 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/coins_simulate_dice/dice.mcrl2"), "tests/snapshot/result_dice.mcrl2...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/game_of_goose/game_of_goose_stochastic.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:184:13
[INFO] [stdout]     |
[INFO] [stdout] 184 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/game_of_goose/game_of_goose_stochastic.mcrl2"), "tests/snapshot/res...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/monty_hall_tv_show/monty_hall.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:185:13
[INFO] [stdout]     |
[INFO] [stdout] 185 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/monty_hall_tv_show/monty_hall.mcrl2"), "tests/snapshot/result_monty...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/self_stabilisation/self_stabilisation.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:186:13
[INFO] [stdout]     |
[INFO] [stdout] 186 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/self_stabilisation/self_stabilisation.mcrl2"), "tests/snapshot/resu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/shared_coin_protocol/shared_coin_protocol.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:187:13
[INFO] [stdout]     |
[INFO] [stdout] 187 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/shared_coin_protocol/shared_coin_protocol.mcrl2"), "tests/snapshot/...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/1slot/1slot_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:188:13
[INFO] [stdout]     |
[INFO] [stdout] 188 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/1slot/1slot_spec.mcrl2"), "tests/snapshot/result_1slo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/3slot/3slot_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:189:13
[INFO] [stdout]     |
[INFO] [stdout] 189 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/3slot/3slot_spec.mcrl2"), "tests/snapshot/result_3slo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/3slot_hold/3slot_hold_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:190:13
[INFO] [stdout]     |
[INFO] [stdout] 190 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/3slot_hold/3slot_hold_spec.mcrl2"), "tests/snapshot/r...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/3slot_hold/3slot_hold_spec_average.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:191:13
[INFO] [stdout]     |
[INFO] [stdout] 191 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/3slot_hold/3slot_hold_spec_average.mcrl2"), "tests/sn...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/paylines/10_paylines_game_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:192:13
[INFO] [stdout]     |
[INFO] [stdout] 192 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/paylines/10_paylines_game_spec.mcrl2"), "tests/snapsh...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/paylines/5_paylines_game_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:193:13
[INFO] [stdout]     |
[INFO] [stdout] 193 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/paylines/5_paylines_game_spec.mcrl2"), "tests/snapsho...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/slot_machines/reels_game/reels_game_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:194:13
[INFO] [stdout]     |
[INFO] [stdout] 194 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/slot_machines/reels_game/reels_game_spec.mcrl2"), "tests/snapshot/r...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:195:13
[INFO] [stdout]     |
[INFO] [stdout] 195 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule.mcrl2"), "tests/snapshot/resu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule_optimized.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:196:13
[INFO] [stdout]     |
[INFO] [stdout] 196 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule_optimized.mcrl2"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule_woolhouse.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:197:13
[INFO] [stdout]     |
[INFO] [stdout] 197 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/spinning_mule_woolhouse.mcrl2"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/sultan_of_persia/sultan_of_persia.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:198:13
[INFO] [stdout]     |
[INFO] [stdout] 198 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/sultan_of_persia/sultan_of_persia.mcrl2"), "tests/snapshot/result_s...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/project/wafer_stepper/wafer_stepper.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:199:13
[INFO] [stdout]     |
[INFO] [stdout] 199 | #[test_case(include_str!("../../../examples/mCRL2/project/wafer_stepper/wafer_stepper.mcrl2"), "tests/snapshot/result_wafer_stepper...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links/Dancing_links_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links/Dancing_links_spec.mcrl2"), "t...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links_no_stack/Dancing_links_no_stack_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:201:13
[INFO] [stdout]     |
[INFO] [stdout] 201 | ...se(include_str!("../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links_no_stack/Dancing_links_no_stack_spec.mcrl2"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links_remove_0/Dancing_links_remove_0_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:202:13
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...se(include_str!("../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links_remove_0/Dancing_links_remove_0_spec.mcrl2"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/Lamport_queue_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:203:13
[INFO] [stdout]     |
[INFO] [stdout] 203 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/Lamport_queue_spec.mcrl2"), "tests/snapshot/result_...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_F_F/Petersons_F_F_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:204:13
[INFO] [stdout]     |
[INFO] [stdout] 204 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_F_F/Petersons_F_F_spec.mcrl2"), "tests/...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_F_T/Petersons_F_T_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_F_T/Petersons_F_T_spec.mcrl2"), "tests/...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_T_T/Petersons_T_T_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:206:13
[INFO] [stdout]     |
[INFO] [stdout] 206 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Petersons_mutex/Petersons_T_T/Petersons_T_T_spec.mcrl2"), "tests/...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/Treiber_CAS_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:207:13
[INFO] [stdout]     |
[INFO] [stdout] 207 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/Treiber_CAS_spec.mcrl2"), "tests/snapsh...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Treiber_stack/Treiber_DCAS/Treiber_DCAS_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:208:13
[INFO] [stdout]     |
[INFO] [stdout] 208 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Treiber_stack/Treiber_DCAS/Treiber_DCAS_spec.mcrl2"), "tests/snap...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Treiber_stack/Treiber_no_CAS/Treiber_no_CAS_spec.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:209:13
[INFO] [stdout]     |
[INFO] [stdout] 209 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Treiber_stack/Treiber_no_CAS/Treiber_no_CAS_spec.mcrl2"), "tests/...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/ball_game/ball_game.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:210:13
[INFO] [stdout]     |
[INFO] [stdout] 210 | #[test_case(include_str!("../../../examples/mCRL2/timed/ball_game/ball_game.mcrl2"), "tests/snapshot/result_ball_game.mcrl2" ; "bal...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/clock/clock_drift.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:211:13
[INFO] [stdout]     |
[INFO] [stdout] 211 | #[test_case(include_str!("../../../examples/mCRL2/timed/clock/clock_drift.mcrl2"), "tests/snapshot/result_clock_drift.mcrl2" ; "clo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/clock/clock_exact.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:212:13
[INFO] [stdout]     |
[INFO] [stdout] 212 | #[test_case(include_str!("../../../examples/mCRL2/timed/clock/clock_exact.mcrl2"), "tests/snapshot/result_clock_exact.mcrl2" ; "clo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/clock/clock_hasty.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 | #[test_case(include_str!("../../../examples/mCRL2/timed/clock/clock_hasty.mcrl2"), "tests/snapshot/result_clock_hasty.mcrl2" ; "clo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/fischer/fischer.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:214:13
[INFO] [stdout]     |
[INFO] [stdout] 214 | #[test_case(include_str!("../../../examples/mCRL2/timed/fischer/fischer.mcrl2"), "tests/snapshot/result_fischer.mcrl2" ; "fischer.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/light/light.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:215:13
[INFO] [stdout]     |
[INFO] [stdout] 215 | #[test_case(include_str!("../../../examples/mCRL2/timed/light/light.mcrl2"), "tests/snapshot/result_light.mcrl2" ; "light.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/timed/simple/simple.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:216:13
[INFO] [stdout]     |
[INFO] [stdout] 216 | #[test_case(include_str!("../../../examples/mCRL2/timed/simple/simple.mcrl2"), "tests/snapshot/result_simple.mcrl2" ; "simple.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/visualisation/carpet/carpet.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:217:13
[INFO] [stdout]     |
[INFO] [stdout] 217 | #[test_case(include_str!("../../../examples/mCRL2/visualisation/carpet/carpet.mcrl2"), "tests/snapshot/result_carpet.mcrl2" ; "carp...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/visualisation/cube/cube.mcrl2`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:218:13
[INFO] [stdout]     |
[INFO] [stdout] 218 | #[test_case(include_str!("../../../examples/mCRL2/visualisation/cube/cube.mcrl2"), "tests/snapshot/result_cube.mcrl2" ; "cube.mcrl2")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:231:13
[INFO] [stdout]     |
[INFO] [stdout] 231 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf"), "tests/s...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/infinitely_often_lost.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/infinitely_often_lost.mcf"), "tests/snapshot/result_infinitely_often...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/infinitely_often_receive_d1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:233:13
[INFO] [stdout]     |
[INFO] [stdout] 233 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/infinitely_often_receive_d1.mcf"), "tests/snapshot/result_infinitely...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/infinitely_often_receive_for_all_d.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:234:13
[INFO] [stdout]     |
[INFO] [stdout] 234 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/infinitely_often_receive_for_all_d.mcf"), "tests/snapshot/result_inf...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/no_duplication_of_messages.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:235:13
[INFO] [stdout]     |
[INFO] [stdout] 235 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/no_duplication_of_messages.mcf"), "tests/snapshot/result_no_duplicat...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/no_generation_of_messages.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:236:13
[INFO] [stdout]     |
[INFO] [stdout] 236 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/no_generation_of_messages.mcf"), "tests/snapshot/result_no_generatio...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/nodeadlock.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:237:13
[INFO] [stdout]     |
[INFO] [stdout] 237 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/nodeadlock.mcf"), "tests/snapshot/result_nodeadlock.mcf" ; "nodeadlo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/read_then_eventually_send.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:238:13
[INFO] [stdout]     |
[INFO] [stdout] 238 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/read_then_eventually_send.mcf"), "tests/snapshot/result_read_then_ev...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/abp/read_then_eventually_send_if_fair.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:239:13
[INFO] [stdout]     |
[INFO] [stdout] 239 | #[test_case(include_str!("../../../examples/mCRL2/academic/abp/read_then_eventually_send_if_fair.mcf"), "tests/snapshot/result_read...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/always_can_get_number.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:240:13
[INFO] [stdout]     |
[INFO] [stdout] 240 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/always_can_get_number.mcf"), "tests/snapshot/result_always_can_ge...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/get_at_least_number_circulating.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:241:13
[INFO] [stdout]     |
[INFO] [stdout] 241 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/get_at_least_number_circulating.mcf"), "tests/snapshot/result_get...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/mutual_exclusion.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:242:13
[INFO] [stdout]     |
[INFO] [stdout] 242 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/mutual_exclusion.mcf"), "tests/snapshot/result_mutual_exclusion.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/request_can_eventually_enter.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:243:13
[INFO] [stdout]     |
[INFO] [stdout] 243 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/request_can_eventually_enter.mcf"), "tests/snapshot/result_reques...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bakery/request_must_eventually_enter.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:244:13
[INFO] [stdout]     |
[INFO] [stdout] 244 | #[test_case(include_str!("../../../examples/mCRL2/academic/bakery/request_must_eventually_enter.mcf"), "tests/snapshot/result_reque...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bke/secret_not_leaked.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:245:13
[INFO] [stdout]     |
[INFO] [stdout] 245 | #[test_case(include_str!("../../../examples/mCRL2/academic/bke/secret_not_leaked.mcf"), "tests/snapshot/result_secret_not_leaked.mc...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/deadlock freedom.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:246:13
[INFO] [stdout]     |
[INFO] [stdout] 246 | #[test_case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/deadlock freedom.mcf"), "tes...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/no deadlock in model.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 | ...case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/no deadlock in model.mcf"), "tes...
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/starvation freedom.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:248:13
[INFO] [stdout]     |
[INFO] [stdout] 248 | #[test_case(include_str!("../../../examples/mCRL2/academic/bounded_ricart-agrawala/RA_fixed/properties/starvation freedom.mcf"), "t...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/nostarvation.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:249:13
[INFO] [stdout]     |
[INFO] [stdout] 249 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/nostarvation.mcf"), "tests/snapshot/result_nostarvation.mcf" ; "n...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/dining/nostuffing.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:250:13
[INFO] [stdout]     |
[INFO] [stdout] 250 | #[test_case(include_str!("../../../examples/mCRL2/academic/dining/nostuffing.mcf"), "tests/snapshot/result_nostuffing.mcf" ; "nostu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/food_distribution/sustained_delivery.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:251:13
[INFO] [stdout]     |
[INFO] [stdout] 251 | #[test_case(include_str!("../../../examples/mCRL2/academic/food_distribution/sustained_delivery.mcf"), "tests/snapshot/result_susta...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/leader/at_most_one_leader.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:252:13
[INFO] [stdout]     |
[INFO] [stdout] 252 | #[test_case(include_str!("../../../examples/mCRL2/academic/leader/at_most_one_leader.mcf"), "tests/snapshot/result_at_most_one_lead...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/leader/leader_always_elected.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:253:13
[INFO] [stdout]     |
[INFO] [stdout] 253 | #[test_case(include_str!("../../../examples/mCRL2/academic/leader/leader_always_elected.mcf"), "tests/snapshot/result_leader_always...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula1/prop1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:254:13
[INFO] [stdout]     |
[INFO] [stdout] 254 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula1/prop1.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula10/prop10.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:255:13
[INFO] [stdout]     |
[INFO] [stdout] 255 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula10/prop10.mcf"), "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula11/prop11.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula11/prop11.mcf"), "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula12/prop12.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula12/prop12.mcf"), "...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula2/prop2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:258:13
[INFO] [stdout]     |
[INFO] [stdout] 258 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula2/prop2.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula3/prop3.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:259:13
[INFO] [stdout]     |
[INFO] [stdout] 259 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula3/prop3.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula4/prop4.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:260:13
[INFO] [stdout]     |
[INFO] [stdout] 260 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula4/prop4.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula5/prop5.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:261:13
[INFO] [stdout]     |
[INFO] [stdout] 261 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula5/prop5.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula6/prop6.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:262:13
[INFO] [stdout]     |
[INFO] [stdout] 262 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula6/prop6.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula7/prop7.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:263:13
[INFO] [stdout]     |
[INFO] [stdout] 263 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula7/prop7.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula8/prop8.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:264:13
[INFO] [stdout]     |
[INFO] [stdout] 264 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula8/prop8.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula9/prop9.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:265:13
[INFO] [stdout]     |
[INFO] [stdout] 265 | #[test_case(include_str!("../../../examples/mCRL2/academic/minepump_product_line/family_based_experiments/formula9/prop9.mcf"), "te...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:266:13
[INFO] [stdout]     |
[INFO] [stdout] 266 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu1.mcf"), "tests/snapshot/result_mpsu1.mcf" ; "mpsu1.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:267:13
[INFO] [stdout]     |
[INFO] [stdout] 267 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu2.mcf"), "tests/snapshot/result_mpsu2.mcf" ; "mpsu2.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu3.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:268:13
[INFO] [stdout]     |
[INFO] [stdout] 268 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu3.mcf"), "tests/snapshot/result_mpsu3.mcf" ; "mpsu3.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu4.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:269:13
[INFO] [stdout]     |
[INFO] [stdout] 269 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu4.mcf"), "tests/snapshot/result_mpsu4.mcf" ; "mpsu4.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu5.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:270:13
[INFO] [stdout]     |
[INFO] [stdout] 270 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu5.mcf"), "tests/snapshot/result_mpsu5.mcf" ; "mpsu5.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mpsu/mpsu6.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:271:13
[INFO] [stdout]     |
[INFO] [stdout] 271 | #[test_case(include_str!("../../../examples/mCRL2/academic/mpsu/mpsu6.mcf"), "tests/snapshot/result_mpsu6.mcf" ; "mpsu6.mcf")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Always eventually request.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:272:13
[INFO] [stdout]     |
[INFO] [stdout] 272 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Always eventually request.mcf"), "tests/s...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Eventual access if fair.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:273:13
[INFO] [stdout]     |
[INFO] [stdout] 273 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Eventual access if fair.mcf"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Eventual access.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:274:13
[INFO] [stdout]     |
[INFO] [stdout] 274 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Dekker/properties/Eventual access.mcf"), "tests/snapshot/re...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Petersons/properties/Bounded overtaking.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:275:13
[INFO] [stdout]     |
[INFO] [stdout] 275 | #[test_case(include_str!("../../../examples/mCRL2/academic/mutex_models/Petersons/properties/Bounded overtaking.mcf"), "tests/snaps...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/mutex_models/Petersons/properties/Eventual access without cooperation.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 | ...se(include_str!("../../../examples/mCRL2/academic/mutex_models/Petersons/properties/Eventual access without cooperation.mcf"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/properties/No deadlock.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:277:13
[INFO] [stdout]     |
[INFO] [stdout] 277 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/properties/No deadlock.mcf"), "tests/s...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/properties/Reachable.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:278:13
[INFO] [stdout]     |
[INFO] [stdout] 278 | #[test_case(include_str!("../../../examples/mCRL2/academic/non-atomic_registers/Aravind_BLRU/properties/Reachable.mcf"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/onebit/infinitely_often_receive_dat1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:279:13
[INFO] [stdout]     |
[INFO] [stdout] 279 | #[test_case(include_str!("../../../examples/mCRL2/academic/onebit/infinitely_often_receive_dat1.mcf"), "tests/snapshot/result_infin...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/parallel_proc_with_global_var/parallel_counting.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:280:13
[INFO] [stdout]     |
[INFO] [stdout] 280 | #[test_case(include_str!("../../../examples/mCRL2/academic/parallel_proc_with_global_var/parallel_counting.mcf"), "tests/snapshot/r...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/peterson_justness/justlive.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:281:13
[INFO] [stdout]     |
[INFO] [stdout] 281 | #[test_case(include_str!("../../../examples/mCRL2/academic/peterson_justness/justlive.mcf"), "tests/snapshot/result_justlive.mcf" ;...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:282:13
[INFO] [stdout]     |
[INFO] [stdout] 282 | ...case(include_str!("../../../examples/mCRL2/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf"), "tes...
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:283:13
[INFO] [stdout]     |
[INFO] [stdout] 283 | ...case(include_str!("../../../examples/mCRL2/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf"), "te...
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/beggar_my_neighbour/exists_an_infinite_game.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:284:13
[INFO] [stdout]     |
[INFO] [stdout] 284 | #[test_case(include_str!("../../../examples/mCRL2/games/beggar_my_neighbour/exists_an_infinite_game.mcf"), "tests/snapshot/result_e...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/domineering/eventually_player1_or_player2_wins.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:285:13
[INFO] [stdout]     |
[INFO] [stdout] 285 | #[test_case(include_str!("../../../examples/mCRL2/games/domineering/eventually_player1_or_player2_wins.mcf"), "tests/snapshot/resul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/domineering/player1_can_win.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:286:13
[INFO] [stdout]     |
[INFO] [stdout] 286 | #[test_case(include_str!("../../../examples/mCRL2/games/domineering/player1_can_win.mcf"), "tests/snapshot/result_player1_can_win.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/domineering/player2_can_win.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 | #[test_case(include_str!("../../../examples/mCRL2/games/domineering/player2_can_win.mcf"), "tests/snapshot/result_player2_can_win.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/four_in_a_row/red_wins.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:288:13
[INFO] [stdout]     |
[INFO] [stdout] 288 | #[test_case(include_str!("../../../examples/mCRL2/games/four_in_a_row/red_wins.mcf"), "tests/snapshot/result_red_wins.mcf" ; "red_w...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/open_field_tic_tac_toe/red_has_a_winning_strategy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:289:13
[INFO] [stdout]     |
[INFO] [stdout] 289 | #[test_case(include_str!("../../../examples/mCRL2/games/open_field_tic_tac_toe/red_has_a_winning_strategy.mcf"), "tests/snapshot/re...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/open_field_tic_tac_toe/yellow_has_a_winning_strategy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:290:13
[INFO] [stdout]     |
[INFO] [stdout] 290 | #[test_case(include_str!("../../../examples/mCRL2/games/open_field_tic_tac_toe/yellow_has_a_winning_strategy.mcf"), "tests/snapshot...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/exists_draw.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:291:13
[INFO] [stdout]     |
[INFO] [stdout] 291 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/exists_draw.mcf"), "tests/snapshot/result_exists_draw.mcf" ; "exist...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/red_can_win.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:292:13
[INFO] [stdout]     |
[INFO] [stdout] 292 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/red_can_win.mcf"), "tests/snapshot/result_red_can_win.mcf" ; "red_c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/red_wins_always.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:293:13
[INFO] [stdout]     |
[INFO] [stdout] 293 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/red_wins_always.mcf"), "tests/snapshot/result_red_wins_always.mcf" ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/white_can_win.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:294:13
[INFO] [stdout]     |
[INFO] [stdout] 294 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/white_can_win.mcf"), "tests/snapshot/result_white_can_win.mcf" ; "w...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/othello/white_wins_always.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:295:13
[INFO] [stdout]     |
[INFO] [stdout] 295 | #[test_case(include_str!("../../../examples/mCRL2/games/othello/white_wins_always.mcf"), "tests/snapshot/result_white_wins_always.m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:296:13
[INFO] [stdout]     |
[INFO] [stdout] 296 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule1.mcf"), "tests/snapshot/result_rule1.mcf" ; "rule1...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule11.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:297:13
[INFO] [stdout]     |
[INFO] [stdout] 297 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule11.mcf"), "tests/snapshot/result_rule11.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule12.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:298:13
[INFO] [stdout]     |
[INFO] [stdout] 298 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule12.mcf"), "tests/snapshot/result_rule12.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule14.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:299:13
[INFO] [stdout]     |
[INFO] [stdout] 299 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule14.mcf"), "tests/snapshot/result_rule14.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule15.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:300:13
[INFO] [stdout]     |
[INFO] [stdout] 300 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule15.mcf"), "tests/snapshot/result_rule15.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule3.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:301:13
[INFO] [stdout]     |
[INFO] [stdout] 301 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule3.mcf"), "tests/snapshot/result_rule3.mcf" ; "rule3...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule4.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:302:13
[INFO] [stdout]     |
[INFO] [stdout] 302 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule4.mcf"), "tests/snapshot/result_rule4.mcf" ; "rule4...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule5.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:303:13
[INFO] [stdout]     |
[INFO] [stdout] 303 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule5.mcf"), "tests/snapshot/result_rule5.mcf" ; "rule5...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule6a.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:304:13
[INFO] [stdout]     |
[INFO] [stdout] 304 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule6a.mcf"), "tests/snapshot/result_rule6a.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule6b.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:305:13
[INFO] [stdout]     |
[INFO] [stdout] 305 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule6b.mcf"), "tests/snapshot/result_rule6b.mcf" ; "rul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/rule789.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:306:13
[INFO] [stdout]     |
[INFO] [stdout] 306 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/rule789.mcf"), "tests/snapshot/result_rule789.mcf" ; "r...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/winning_strategy_player_1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:307:13
[INFO] [stdout]     |
[INFO] [stdout] 307 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/winning_strategy_player_1.mcf"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/quoridor/properties/winning_strategy_player_2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:308:13
[INFO] [stdout]     |
[INFO] [stdout] 308 | #[test_case(include_str!("../../../examples/mCRL2/games/quoridor/properties/winning_strategy_player_2.mcf"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/snake/black_can_win.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 | #[test_case(include_str!("../../../examples/mCRL2/games/snake/black_can_win.mcf"), "tests/snapshot/result_black_can_win.mcf" ; "bla...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/snake/black_has_winning_strategy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:310:13
[INFO] [stdout]     |
[INFO] [stdout] 310 | #[test_case(include_str!("../../../examples/mCRL2/games/snake/black_has_winning_strategy.mcf"), "tests/snapshot/result_black_has_wi...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/snake/eventually_white_or_black_wins.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:311:13
[INFO] [stdout]     |
[INFO] [stdout] 311 | #[test_case(include_str!("../../../examples/mCRL2/games/snake/eventually_white_or_black_wins.mcf"), "tests/snapshot/result_eventual...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/snake/white_has_winning_strategy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:312:13
[INFO] [stdout]     |
[INFO] [stdout] 312 | #[test_case(include_str!("../../../examples/mCRL2/games/snake/white_has_winning_strategy.mcf"), "tests/snapshot/result_white_has_wi...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/tictactoe/has_player_cross_a_winning_strategy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:313:13
[INFO] [stdout]     |
[INFO] [stdout] 313 | #[test_case(include_str!("../../../examples/mCRL2/games/tictactoe/has_player_cross_a_winning_strategy.mcf"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/games/tictactoe/one_wrong_move.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:314:13
[INFO] [stdout]     |
[INFO] [stdout] 314 | #[test_case(include_str!("../../../examples/mCRL2/games/tictactoe/one_wrong_move.mcf"), "tests/snapshot/result_one_wrong_move.mcf" ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/properties_SMS/eventuallyDeleted.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:315:13
[INFO] [stdout]     |
[INFO] [stdout] 315 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/properties_SMS/eventuallyDeleted.mcf"), "tests/snapshot/result_e...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/properties_SMS/noTransitFromDeleted.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:316:13
[INFO] [stdout]     |
[INFO] [stdout] 316 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/properties_SMS/noTransitFromDeleted.mcf"), "tests/snapshot/resul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/properties_WMS/jobFailedToDone.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:317:13
[INFO] [stdout]     |
[INFO] [stdout] 317 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/properties_WMS/jobFailedToDone.mcf"), "tests/snapshot/result_job...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/DIRAC/properties_WMS/noZombieJobs.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:318:13
[INFO] [stdout]     |
[INFO] [stdout] 318 | #[test_case(include_str!("../../../examples/mCRL2/industrial/DIRAC/properties_WMS/noZombieJobs.mcf"), "tests/snapshot/result_nozomb...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/deterministic_stabilisation.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:319:13
[INFO] [stdout]     |
[INFO] [stdout] 319 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/deterministic_stabilisation.mcf"), "tests...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/no_collision.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:320:13
[INFO] [stdout]     |
[INFO] [stdout] 320 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/no_collision.mcf"), "tests/snapshot/resul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/strong_determinacy.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:321:13
[INFO] [stdout]     |
[INFO] [stdout] 321 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/strong_determinacy.mcf"), "tests/snapshot...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/termination.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:322:13
[INFO] [stdout]     |
[INFO] [stdout] 322 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ERTMS/version1A/section_I/IU/termination.mcf"), "tests/snapshot/result...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT.1.3.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:323:13
[INFO] [stdout]     |
[INFO] [stdout] 323 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT.1.3.mcf"), "tests/snapshot/result_cont.1.3.mcf" ; ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT.38.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:324:13
[INFO] [stdout]     |
[INFO] [stdout] 324 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT.38.mcf"), "tests/snapshot/result_cont.38.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:325:13
[INFO] [stdout]     |
[INFO] [stdout] 325 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_1.mcf"), "tests/snapshot/result_cont_1.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_10.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:326:13
[INFO] [stdout]     |
[INFO] [stdout] 326 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_10.mcf"), "tests/snapshot/result_cont_10.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_13.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:327:13
[INFO] [stdout]     |
[INFO] [stdout] 327 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_13.mcf"), "tests/snapshot/result_cont_13.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_15.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:328:13
[INFO] [stdout]     |
[INFO] [stdout] 328 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_15.mcf"), "tests/snapshot/result_cont_15.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_19.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:329:13
[INFO] [stdout]     |
[INFO] [stdout] 329 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_19.mcf"), "tests/snapshot/result_cont_19.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_21.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:330:13
[INFO] [stdout]     |
[INFO] [stdout] 330 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_21.mcf"), "tests/snapshot/result_cont_21.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_25.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:331:13
[INFO] [stdout]     |
[INFO] [stdout] 331 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_25.mcf"), "tests/snapshot/result_cont_25.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_3.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:332:13
[INFO] [stdout]     |
[INFO] [stdout] 332 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_3.mcf"), "tests/snapshot/result_cont_3.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_46.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:333:13
[INFO] [stdout]     |
[INFO] [stdout] 333 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_46.mcf"), "tests/snapshot/result_cont_46.mcf" ; "c...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_4_1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:334:13
[INFO] [stdout]     |
[INFO] [stdout] 334 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_4_1.mcf"), "tests/snapshot/result_cont_4_1.mcf" ; ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_4_2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:335:13
[INFO] [stdout]     |
[INFO] [stdout] 335 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_4_2.mcf"), "tests/snapshot/result_cont_4_2.mcf" ; ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_5.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:336:13
[INFO] [stdout]     |
[INFO] [stdout] 336 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_5.mcf"), "tests/snapshot/result_cont_5.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_6.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:337:13
[INFO] [stdout]     |
[INFO] [stdout] 337 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_6.mcf"), "tests/snapshot/result_cont_6.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_7.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:338:13
[INFO] [stdout]     |
[INFO] [stdout] 338 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_7.mcf"), "tests/snapshot/result_cont_7.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_8.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:339:13
[INFO] [stdout]     |
[INFO] [stdout] 339 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_8.mcf"), "tests/snapshot/result_cont_8.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/CONT_9.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:340:13
[INFO] [stdout]     |
[INFO] [stdout] 340 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/CONT_9.mcf"), "tests/snapshot/result_cont_9.mcf" ; "con...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/SAV.1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:341:13
[INFO] [stdout]     |
[INFO] [stdout] 341 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/SAV.1.mcf"), "tests/snapshot/result_sav.1.mcf" ; "sav.1...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/SAV.16.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:342:13
[INFO] [stdout]     |
[INFO] [stdout] 342 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/SAV.16.mcf"), "tests/snapshot/result_sav.16.mcf" ; "sav...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/SAV.17.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:343:13
[INFO] [stdout]     |
[INFO] [stdout] 343 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/SAV.17.mcf"), "tests/snapshot/result_sav.17.mcf" ; "sav...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/SAV.22.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:344:13
[INFO] [stdout]     |
[INFO] [stdout] 344 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/SAV.22.mcf"), "tests/snapshot/result_sav.22.mcf" ; "sav...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/Scenario_Error_in_selftest.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:345:13
[INFO] [stdout]     |
[INFO] [stdout] 345 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/Scenario_Error_in_selftest.mcf"), "tests/snapshot/resul...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/Scenario_New_patient.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:346:13
[INFO] [stdout]     |
[INFO] [stdout] 346 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/Scenario_New_patient.mcf"), "tests/snapshot/result_scen...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/MLV/properties/Scenario_Resume_ventilation.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:347:13
[INFO] [stdout]     |
[INFO] [stdout] 347 | #[test_case(include_str!("../../../examples/mCRL2/industrial/MLV/properties/Scenario_Resume_ventilation.mcf"), "tests/snapshot/resu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/mucalc/eventually_comm.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:348:13
[INFO] [stdout]     |
[INFO] [stdout] 348 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/mucalc/eventually_comm.mcf"), "tests/snapshot/result_eventuall...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/flexray/mucalc/eventually_startup.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:349:13
[INFO] [stdout]     |
[INFO] [stdout] 349 | #[test_case(include_str!("../../../examples/mCRL2/industrial/flexray/mucalc/eventually_startup.mcf"), "tests/snapshot/result_eventu...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ieee-11073/data_can_be_communicated.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:350:13
[INFO] [stdout]     |
[INFO] [stdout] 350 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ieee-11073/data_can_be_communicated.mcf"), "tests/snapshot/result_data...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ieee-11073/infinite_data_communication_is_possible.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:351:13
[INFO] [stdout]     |
[INFO] [stdout] 351 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ieee-11073/infinite_data_communication_is_possible.mcf"), "tests/snaps...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ieee-11073/no_inconsistent_operating_states.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:352:13
[INFO] [stdout]     |
[INFO] [stdout] 352 | #[test_case(include_str!("../../../examples/mCRL2/industrial/ieee-11073/no_inconsistent_operating_states.mcf"), "tests/snapshot/res...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/industrial/ieee-11073/no_successful_transmission_in_inconsistent_operating_states.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:353:13
[INFO] [stdout]     |
[INFO] [stdout] 353 | ...se(include_str!("../../../examples/mCRL2/industrial/ieee-11073/no_successful_transmission_in_inconsistent_operating_states.mcf"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/modal-formulas/nolivelock.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:354:13
[INFO] [stdout]     |
[INFO] [stdout] 354 | #[test_case(include_str!("../../../examples/mCRL2/modal-formulas/nolivelock.mcf"), "tests/snapshot/result_nolivelock.mcf" ; "nolive...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/coin_tossing/formula1.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:355:13
[INFO] [stdout]     |
[INFO] [stdout] 355 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/coin_tossing/formula1.mcf"), "tests/snapshot/result_formula1.mcf" ;...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/coin_tossing/formula2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:356:13
[INFO] [stdout]     |
[INFO] [stdout] 356 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/coin_tossing/formula2.mcf"), "tests/snapshot/result_formula2.mcf" ;...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/minimal_walking_distance.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:367:13
[INFO] [stdout]     |
[INFO] [stdout] 367 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/spinning_mule_woolhouse/minimal_walking_distance.mcf"), "tests/snap...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/probabilistic/sultan_of_persia/best_spouse.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:368:13
[INFO] [stdout]     |
[INFO] [stdout] 368 | #[test_case(include_str!("../../../examples/mCRL2/probabilistic/sultan_of_persia/best_spouse.mcf"), "tests/snapshot/result_best_spo...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links/properties/Correctness.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:369:13
[INFO] [stdout]     |
[INFO] [stdout] 369 | ...case(include_str!("../../../examples/mCRL2/software_models/Knuths_dancing_links/Dancing_links/properties/Correctness.mcf"), "tes...
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Head get set value.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:370:13
[INFO] [stdout]     |
[INFO] [stdout] 370 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Head get set value.mcf"), "tests/snapsho...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Head not set out of bounds.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:371:13
[INFO] [stdout]     |
[INFO] [stdout] 371 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Head not set out of bounds.mcf"), "tests...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/No out of bounds read.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:372:13
[INFO] [stdout]     |
[INFO] [stdout] 372 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/No out of bounds read.mcf"), "tests/snap...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/No out of bounds write.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:373:13
[INFO] [stdout]     |
[INFO] [stdout] 373 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/No out of bounds write.mcf"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Pop always terminates.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:374:13
[INFO] [stdout]     |
[INFO] [stdout] 374 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Pop always terminates.mcf"), "tests/snap...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Pop can terminate.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:375:13
[INFO] [stdout]     |
[INFO] [stdout] 375 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Pop can terminate.mcf"), "tests/snapshot...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Push always terminates.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Push always terminates.mcf"), "tests/sna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Push can terminate.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:377:13
[INFO] [stdout]     |
[INFO] [stdout] 377 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Push can terminate.mcf"), "tests/snapsho...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Queue behaviour.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:378:13
[INFO] [stdout]     |
[INFO] [stdout] 378 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Queue behaviour.mcf"), "tests/snapshot/r...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail get set value.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:379:13
[INFO] [stdout]     |
[INFO] [stdout] 379 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail get set value.mcf"), "tests/snapsho...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail not read out of bounds.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:380:13
[INFO] [stdout]     |
[INFO] [stdout] 380 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail not read out of bounds.mcf"), "test...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail not set out of bounds.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:381:13
[INFO] [stdout]     |
[INFO] [stdout] 381 | #[test_case(include_str!("../../../examples/mCRL2/software_models/Lamport_queue/properties/Tail not set out of bounds.mcf"), "tests...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/properties/Correct release implies correct retrieve.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:382:13
[INFO] [stdout]     |
[INFO] [stdout] 382 | ...se(include_str!("../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/properties/Correct release implies correct retrieve.mcf"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/properties/Inevitably retrieve when stacksize is 2.mcf`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:383:13
[INFO] [stdout]     |
[INFO] [stdout] 383 | ...se(include_str!("../../../examples/mCRL2/software_models/Treiber_stack/Treiber_CAS/properties/Inevitably retrieve when stacksize is 2.mcf"), "...
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/add16.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:396:13
[INFO] [stdout]     |
[INFO] [stdout] 396 | #[test_case(include_str!("../../../examples/REC/mcrl2/add16.dataspec"), "tests/snapshot/result_add16.dataspec" ; "add16.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/add32.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:397:13
[INFO] [stdout]     |
[INFO] [stdout] 397 | #[test_case(include_str!("../../../examples/REC/mcrl2/add32.dataspec"), "tests/snapshot/result_add32.dataspec" ; "add32.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/add8.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:398:13
[INFO] [stdout]     |
[INFO] [stdout] 398 | #[test_case(include_str!("../../../examples/REC/mcrl2/add8.dataspec"), "tests/snapshot/result_add8.dataspec" ; "add8.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchexpr10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:399:13
[INFO] [stdout]     |
[INFO] [stdout] 399 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchexpr10.dataspec"), "tests/snapshot/result_benchexpr10.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchexpr20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:400:13
[INFO] [stdout]     |
[INFO] [stdout] 400 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchexpr20.dataspec"), "tests/snapshot/result_benchexpr20.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchexpr22.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:401:13
[INFO] [stdout]     |
[INFO] [stdout] 401 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchexpr22.dataspec"), "tests/snapshot/result_benchexpr22.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchsym10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:402:13
[INFO] [stdout]     |
[INFO] [stdout] 402 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchsym10.dataspec"), "tests/snapshot/result_benchsym10.dataspec" ; "benchsy...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchsym20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:403:13
[INFO] [stdout]     |
[INFO] [stdout] 403 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchsym20.dataspec"), "tests/snapshot/result_benchsym20.dataspec" ; "benchsy...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchsym22.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:404:13
[INFO] [stdout]     |
[INFO] [stdout] 404 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchsym22.dataspec"), "tests/snapshot/result_benchsym22.dataspec" ; "benchsy...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchtree10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:405:13
[INFO] [stdout]     |
[INFO] [stdout] 405 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchtree10.dataspec"), "tests/snapshot/result_benchtree10.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchtree20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:406:13
[INFO] [stdout]     |
[INFO] [stdout] 406 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchtree20.dataspec"), "tests/snapshot/result_benchtree20.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/benchtree22.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:407:13
[INFO] [stdout]     |
[INFO] [stdout] 407 | #[test_case(include_str!("../../../examples/REC/mcrl2/benchtree22.dataspec"), "tests/snapshot/result_benchtree22.dataspec" ; "bench...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/binarysearch.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:408:13
[INFO] [stdout]     |
[INFO] [stdout] 408 | #[test_case(include_str!("../../../examples/REC/mcrl2/binarysearch.dataspec"), "tests/snapshot/result_binarysearch.dataspec" ; "bin...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/bubblesort10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:409:13
[INFO] [stdout]     |
[INFO] [stdout] 409 | #[test_case(include_str!("../../../examples/REC/mcrl2/bubblesort10.dataspec"), "tests/snapshot/result_bubblesort10.dataspec" ; "bub...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/bubblesort100.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:410:13
[INFO] [stdout]     |
[INFO] [stdout] 410 | #[test_case(include_str!("../../../examples/REC/mcrl2/bubblesort100.dataspec"), "tests/snapshot/result_bubblesort100.dataspec" ; "b...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/bubblesort1000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:411:13
[INFO] [stdout]     |
[INFO] [stdout] 411 | #[test_case(include_str!("../../../examples/REC/mcrl2/bubblesort1000.dataspec"), "tests/snapshot/result_bubblesort1000.dataspec" ; ...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/bubblesort20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:412:13
[INFO] [stdout]     |
[INFO] [stdout] 412 | #[test_case(include_str!("../../../examples/REC/mcrl2/bubblesort20.dataspec"), "tests/snapshot/result_bubblesort20.dataspec" ; "bub...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/bubblesort720.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:413:13
[INFO] [stdout]     |
[INFO] [stdout] 413 | #[test_case(include_str!("../../../examples/REC/mcrl2/bubblesort720.dataspec"), "tests/snapshot/result_bubblesort720.dataspec" ; "b...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/calls.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:414:13
[INFO] [stdout]     |
[INFO] [stdout] 414 | #[test_case(include_str!("../../../examples/REC/mcrl2/calls.dataspec"), "tests/snapshot/result_calls.dataspec" ; "calls.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/check1.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:415:13
[INFO] [stdout]     |
[INFO] [stdout] 415 | #[test_case(include_str!("../../../examples/REC/mcrl2/check1.dataspec"), "tests/snapshot/result_check1.dataspec" ; "check1.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/check2.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:416:13
[INFO] [stdout]     |
[INFO] [stdout] 416 | #[test_case(include_str!("../../../examples/REC/mcrl2/check2.dataspec"), "tests/snapshot/result_check2.dataspec" ; "check2.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/closure.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:417:13
[INFO] [stdout]     |
[INFO] [stdout] 417 | #[test_case(include_str!("../../../examples/REC/mcrl2/closure.dataspec"), "tests/snapshot/result_closure.dataspec" ; "closure.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/confluence.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:418:13
[INFO] [stdout]     |
[INFO] [stdout] 418 | #[test_case(include_str!("../../../examples/REC/mcrl2/confluence.dataspec"), "tests/snapshot/result_confluence.dataspec" ; "conflue...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/dart.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:419:13
[INFO] [stdout]     |
[INFO] [stdout] 419 | #[test_case(include_str!("../../../examples/REC/mcrl2/dart.dataspec"), "tests/snapshot/result_dart.dataspec" ; "dart.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/empty.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:420:13
[INFO] [stdout]     |
[INFO] [stdout] 420 | #[test_case(include_str!("../../../examples/REC/mcrl2/empty.dataspec"), "tests/snapshot/result_empty.dataspec" ; "empty.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/evalexpr.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:421:13
[INFO] [stdout]     |
[INFO] [stdout] 421 | #[test_case(include_str!("../../../examples/REC/mcrl2/evalexpr.dataspec"), "tests/snapshot/result_evalexpr.dataspec" ; "evalexpr.da...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/evalsym.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:422:13
[INFO] [stdout]     |
[INFO] [stdout] 422 | #[test_case(include_str!("../../../examples/REC/mcrl2/evalsym.dataspec"), "tests/snapshot/result_evalsym.dataspec" ; "evalsym.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/evaltree.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:423:13
[INFO] [stdout]     |
[INFO] [stdout] 423 | #[test_case(include_str!("../../../examples/REC/mcrl2/evaltree.dataspec"), "tests/snapshot/result_evaltree.dataspec" ; "evaltree.da...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/factorial5.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:424:13
[INFO] [stdout]     |
[INFO] [stdout] 424 | #[test_case(include_str!("../../../examples/REC/mcrl2/factorial5.dataspec"), "tests/snapshot/result_factorial5.dataspec" ; "factori...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/factorial6.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:425:13
[INFO] [stdout]     |
[INFO] [stdout] 425 | #[test_case(include_str!("../../../examples/REC/mcrl2/factorial6.dataspec"), "tests/snapshot/result_factorial6.dataspec" ; "factori...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/factorial7.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:426:13
[INFO] [stdout]     |
[INFO] [stdout] 426 | #[test_case(include_str!("../../../examples/REC/mcrl2/factorial7.dataspec"), "tests/snapshot/result_factorial7.dataspec" ; "factori...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/factorial8.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:427:13
[INFO] [stdout]     |
[INFO] [stdout] 427 | #[test_case(include_str!("../../../examples/REC/mcrl2/factorial8.dataspec"), "tests/snapshot/result_factorial8.dataspec" ; "factori...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/factorial9.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:428:13
[INFO] [stdout]     |
[INFO] [stdout] 428 | #[test_case(include_str!("../../../examples/REC/mcrl2/factorial9.dataspec"), "tests/snapshot/result_factorial9.dataspec" ; "factori...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fib32.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:429:13
[INFO] [stdout]     |
[INFO] [stdout] 429 | #[test_case(include_str!("../../../examples/REC/mcrl2/fib32.dataspec"), "tests/snapshot/result_fib32.dataspec" ; "fib32.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibfree.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:430:13
[INFO] [stdout]     |
[INFO] [stdout] 430 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibfree.dataspec"), "tests/snapshot/result_fibfree.dataspec" ; "fibfree.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibonacci05.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:431:13
[INFO] [stdout]     |
[INFO] [stdout] 431 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibonacci05.dataspec"), "tests/snapshot/result_fibonacci05.dataspec" ; "fibon...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibonacci18.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:432:13
[INFO] [stdout]     |
[INFO] [stdout] 432 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibonacci18.dataspec"), "tests/snapshot/result_fibonacci18.dataspec" ; "fibon...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibonacci19.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibonacci19.dataspec"), "tests/snapshot/result_fibonacci19.dataspec" ; "fibon...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibonacci20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:434:13
[INFO] [stdout]     |
[INFO] [stdout] 434 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibonacci20.dataspec"), "tests/snapshot/result_fibonacci20.dataspec" ; "fibon...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/fibonacci21.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:435:13
[INFO] [stdout]     |
[INFO] [stdout] 435 | #[test_case(include_str!("../../../examples/REC/mcrl2/fibonacci21.dataspec"), "tests/snapshot/result_fibonacci21.dataspec" ; "fibon...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/garbagecollection.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:436:13
[INFO] [stdout]     |
[INFO] [stdout] 436 | #[test_case(include_str!("../../../examples/REC/mcrl2/garbagecollection.dataspec"), "tests/snapshot/result_garbagecollection.datasp...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/hanoi12.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:437:13
[INFO] [stdout]     |
[INFO] [stdout] 437 | #[test_case(include_str!("../../../examples/REC/mcrl2/hanoi12.dataspec"), "tests/snapshot/result_hanoi12.dataspec" ; "hanoi12.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/hanoi16.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:438:13
[INFO] [stdout]     |
[INFO] [stdout] 438 | #[test_case(include_str!("../../../examples/REC/mcrl2/hanoi16.dataspec"), "tests/snapshot/result_hanoi16.dataspec" ; "hanoi16.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/hanoi20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:439:13
[INFO] [stdout]     |
[INFO] [stdout] 439 | #[test_case(include_str!("../../../examples/REC/mcrl2/hanoi20.dataspec"), "tests/snapshot/result_hanoi20.dataspec" ; "hanoi20.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/hanoi4.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:440:13
[INFO] [stdout]     |
[INFO] [stdout] 440 | #[test_case(include_str!("../../../examples/REC/mcrl2/hanoi4.dataspec"), "tests/snapshot/result_hanoi4.dataspec" ; "hanoi4.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/hanoi8.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:441:13
[INFO] [stdout]     |
[INFO] [stdout] 441 | #[test_case(include_str!("../../../examples/REC/mcrl2/hanoi8.dataspec"), "tests/snapshot/result_hanoi8.dataspec" ; "hanoi8.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/intnat.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:442:13
[INFO] [stdout]     |
[INFO] [stdout] 442 | #[test_case(include_str!("../../../examples/REC/mcrl2/intnat.dataspec"), "tests/snapshot/result_intnat.dataspec" ; "intnat.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/langton6.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:443:13
[INFO] [stdout]     |
[INFO] [stdout] 443 | #[test_case(include_str!("../../../examples/REC/mcrl2/langton6.dataspec"), "tests/snapshot/result_langton6.dataspec" ; "langton6.da...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/langton7.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:444:13
[INFO] [stdout]     |
[INFO] [stdout] 444 | #[test_case(include_str!("../../../examples/REC/mcrl2/langton7.dataspec"), "tests/snapshot/result_langton7.dataspec" ; "langton7.da...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/logic3.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:445:13
[INFO] [stdout]     |
[INFO] [stdout] 445 | #[test_case(include_str!("../../../examples/REC/mcrl2/logic3.dataspec"), "tests/snapshot/result_logic3.dataspec" ; "logic3.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/maa.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:446:13
[INFO] [stdout]     |
[INFO] [stdout] 446 | #[test_case(include_str!("../../../examples/REC/mcrl2/maa.dataspec"), "tests/snapshot/result_maa.dataspec" ; "maa.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/merge.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:447:13
[INFO] [stdout]     |
[INFO] [stdout] 447 | #[test_case(include_str!("../../../examples/REC/mcrl2/merge.dataspec"), "tests/snapshot/result_merge.dataspec" ; "merge.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mergesort10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:448:13
[INFO] [stdout]     |
[INFO] [stdout] 448 | #[test_case(include_str!("../../../examples/REC/mcrl2/mergesort10.dataspec"), "tests/snapshot/result_mergesort10.dataspec" ; "merge...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mergesort100.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:449:13
[INFO] [stdout]     |
[INFO] [stdout] 449 | #[test_case(include_str!("../../../examples/REC/mcrl2/mergesort100.dataspec"), "tests/snapshot/result_mergesort100.dataspec" ; "mer...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mergesort1000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:450:13
[INFO] [stdout]     |
[INFO] [stdout] 450 | #[test_case(include_str!("../../../examples/REC/mcrl2/mergesort1000.dataspec"), "tests/snapshot/result_mergesort1000.dataspec" ; "m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/missionaries2.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:451:13
[INFO] [stdout]     |
[INFO] [stdout] 451 | #[test_case(include_str!("../../../examples/REC/mcrl2/missionaries2.dataspec"), "tests/snapshot/result_missionaries2.dataspec" ; "m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/missionaries3.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:452:13
[INFO] [stdout]     |
[INFO] [stdout] 452 | #[test_case(include_str!("../../../examples/REC/mcrl2/missionaries3.dataspec"), "tests/snapshot/result_missionaries3.dataspec" ; "m...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mul16.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:453:13
[INFO] [stdout]     |
[INFO] [stdout] 453 | #[test_case(include_str!("../../../examples/REC/mcrl2/mul16.dataspec"), "tests/snapshot/result_mul16.dataspec" ; "mul16.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mul32.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:454:13
[INFO] [stdout]     |
[INFO] [stdout] 454 | #[test_case(include_str!("../../../examples/REC/mcrl2/mul32.dataspec"), "tests/snapshot/result_mul32.dataspec" ; "mul32.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/mul8.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:455:13
[INFO] [stdout]     |
[INFO] [stdout] 455 | #[test_case(include_str!("../../../examples/REC/mcrl2/mul8.dataspec"), "tests/snapshot/result_mul8.dataspec" ; "mul8.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/natlist.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:456:13
[INFO] [stdout]     |
[INFO] [stdout] 456 | #[test_case(include_str!("../../../examples/REC/mcrl2/natlist.dataspec"), "tests/snapshot/result_natlist.dataspec" ; "natlist.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/oddeven.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:457:13
[INFO] [stdout]     |
[INFO] [stdout] 457 | #[test_case(include_str!("../../../examples/REC/mcrl2/oddeven.dataspec"), "tests/snapshot/result_oddeven.dataspec" ; "oddeven.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/omul32.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:458:13
[INFO] [stdout]     |
[INFO] [stdout] 458 | #[test_case(include_str!("../../../examples/REC/mcrl2/omul32.dataspec"), "tests/snapshot/result_omul32.dataspec" ; "omul32.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/omul8.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:459:13
[INFO] [stdout]     |
[INFO] [stdout] 459 | #[test_case(include_str!("../../../examples/REC/mcrl2/omul8.dataspec"), "tests/snapshot/result_omul8.dataspec" ; "omul8.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/order.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:460:13
[INFO] [stdout]     |
[INFO] [stdout] 460 | #[test_case(include_str!("../../../examples/REC/mcrl2/order.dataspec"), "tests/snapshot/result_order.dataspec" ; "order.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/permutations6.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:461:13
[INFO] [stdout]     |
[INFO] [stdout] 461 | #[test_case(include_str!("../../../examples/REC/mcrl2/permutations6.dataspec"), "tests/snapshot/result_permutations6.dataspec" ; "p...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/permutations7.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:462:13
[INFO] [stdout]     |
[INFO] [stdout] 462 | #[test_case(include_str!("../../../examples/REC/mcrl2/permutations7.dataspec"), "tests/snapshot/result_permutations7.dataspec" ; "p...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/quicksort10.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:463:13
[INFO] [stdout]     |
[INFO] [stdout] 463 | #[test_case(include_str!("../../../examples/REC/mcrl2/quicksort10.dataspec"), "tests/snapshot/result_quicksort10.dataspec" ; "quick...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/quicksort100.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:464:13
[INFO] [stdout]     |
[INFO] [stdout] 464 | #[test_case(include_str!("../../../examples/REC/mcrl2/quicksort100.dataspec"), "tests/snapshot/result_quicksort100.dataspec" ; "qui...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/quicksort1000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:465:13
[INFO] [stdout]     |
[INFO] [stdout] 465 | #[test_case(include_str!("../../../examples/REC/mcrl2/quicksort1000.dataspec"), "tests/snapshot/result_quicksort1000.dataspec" ; "q...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/revelt.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:466:13
[INFO] [stdout]     |
[INFO] [stdout] 466 | #[test_case(include_str!("../../../examples/REC/mcrl2/revelt.dataspec"), "tests/snapshot/result_revelt.dataspec" ; "revelt.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/revnat100.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:467:13
[INFO] [stdout]     |
[INFO] [stdout] 467 | #[test_case(include_str!("../../../examples/REC/mcrl2/revnat100.dataspec"), "tests/snapshot/result_revnat100.dataspec" ; "revnat100...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/revnat1000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:468:13
[INFO] [stdout]     |
[INFO] [stdout] 468 | #[test_case(include_str!("../../../examples/REC/mcrl2/revnat1000.dataspec"), "tests/snapshot/result_revnat1000.dataspec" ; "revnat1...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/revnat10000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:469:13
[INFO] [stdout]     |
[INFO] [stdout] 469 | #[test_case(include_str!("../../../examples/REC/mcrl2/revnat10000.dataspec"), "tests/snapshot/result_revnat10000.dataspec" ; "revna...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/searchinconditions.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:470:13
[INFO] [stdout]     |
[INFO] [stdout] 470 | #[test_case(include_str!("../../../examples/REC/mcrl2/searchinconditions.dataspec"), "tests/snapshot/result_searchinconditions.data...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/sieve100.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:471:13
[INFO] [stdout]     |
[INFO] [stdout] 471 | #[test_case(include_str!("../../../examples/REC/mcrl2/sieve100.dataspec"), "tests/snapshot/result_sieve100.dataspec" ; "sieve100.da...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/sieve1000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:472:13
[INFO] [stdout]     |
[INFO] [stdout] 472 | #[test_case(include_str!("../../../examples/REC/mcrl2/sieve1000.dataspec"), "tests/snapshot/result_sieve1000.dataspec" ; "sieve1000...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/sieve10000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:473:13
[INFO] [stdout]     |
[INFO] [stdout] 473 | #[test_case(include_str!("../../../examples/REC/mcrl2/sieve10000.dataspec"), "tests/snapshot/result_sieve10000.dataspec" ; "sieve10...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/sieve20.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:474:13
[INFO] [stdout]     |
[INFO] [stdout] 474 | #[test_case(include_str!("../../../examples/REC/mcrl2/sieve20.dataspec"), "tests/snapshot/result_sieve20.dataspec" ; "sieve20.datas...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/sieve2000.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:475:13
[INFO] [stdout]     |
[INFO] [stdout] 475 | #[test_case(include_str!("../../../examples/REC/mcrl2/sieve2000.dataspec"), "tests/snapshot/result_sieve2000.dataspec" ; "sieve2000...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/soundnessofparallelengines.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:476:13
[INFO] [stdout]     |
[INFO] [stdout] 476 | #[test_case(include_str!("../../../examples/REC/mcrl2/soundnessofparallelengines.dataspec"), "tests/snapshot/result_soundnessofpara...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/tak18.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:477:13
[INFO] [stdout]     |
[INFO] [stdout] 477 | #[test_case(include_str!("../../../examples/REC/mcrl2/tak18.dataspec"), "tests/snapshot/result_tak18.dataspec" ; "tak18.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/tak36.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:478:13
[INFO] [stdout]     |
[INFO] [stdout] 478 | #[test_case(include_str!("../../../examples/REC/mcrl2/tak36.dataspec"), "tests/snapshot/result_tak36.dataspec" ; "tak36.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/tautologyhard.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:479:13
[INFO] [stdout]     |
[INFO] [stdout] 479 | #[test_case(include_str!("../../../examples/REC/mcrl2/tautologyhard.dataspec"), "tests/snapshot/result_tautologyhard.dataspec" ; "t...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/REC/mcrl2/tricky.dataspec`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:480:13
[INFO] [stdout]     |
[INFO] [stdout] 480 | #[test_case(include_str!("../../../examples/REC/mcrl2/tricky.dataspec"), "tests/snapshot/result_tricky.dataspec" ; "tricky.dataspec")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/pbes/nonmonotonic.txt`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:494:13
[INFO] [stdout]     |
[INFO] [stdout] 494 | #[test_case(include_str!("../../../examples/mCRL2/pbes/nonmonotonic.txt"), "tests/snapshot/result_nonmonotonic.txt" ; "nonmonotonic...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/pbes/overloading.txt`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:495:13
[INFO] [stdout]     |
[INFO] [stdout] 495 | #[test_case(include_str!("../../../examples/mCRL2/pbes/overloading.txt"), "tests/snapshot/result_overloading.txt" ; "overloading.tx...
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `tests/../../../examples/mCRL2/pbes/true.txt`: No such file or directory (os error 2)
[INFO] [stdout]    --> tests/example_test.rs:496:13
[INFO] [stdout]     |
[INFO] [stdout] 496 | #[test_case(include_str!("../../../examples/mCRL2/pbes/true.txt"), "tests/snapshot/result_true.txt" ; "true.txt")]
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `merc_syntax` (test "example_test") due to 398 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "9fe35ba3f19fadb6fab2d907dced9239909c33d5a7161b58236c328cb664b0a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9fe35ba3f19fadb6fab2d907dced9239909c33d5a7161b58236c328cb664b0a2", kill_on_drop: false }`
[INFO] [stdout] 9fe35ba3f19fadb6fab2d907dced9239909c33d5a7161b58236c328cb664b0a2
